More from this Author

Curiosity and Exploration

by Heidi Keller (Editor), Klaus Schneider (Editor), Bruce B. Henderson (Editor)

The Divine Heart of Things

by Klaus Schneider (Editor), Anne Slenczka (Text by)

Theorem Proving in Higher Order Logics

by Klaus Schneider (Editor), Jens Brandt (Editor)